Skip to content

Conversation

edgargabriel
Copy link
Member

(cherry picked from commit 556014c)

Signed-off-by: Steffen Christgau <[email protected]>
(cherry picked from commit 556014c)
@github-actions github-actions bot added this to the v5.0.8 milestone Aug 1, 2025
@janjust janjust merged commit 6c14c78 into open-mpi:v5.0.x Aug 13, 2025
15 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants